David Parker - PDFSEARCH.IO - Document Search Engine

David Parker
Results: 128

#	Item
11	Verifying Team Formation Protocols with Probabilistic Model Checking? Taolue Chen, Marta Kwiatkowska, David Parker, and Aistis Simaitis Department of Computer Science, University of Oxford, Wolfson Building, Parks Road, Add to Reading List Source URL: www.prismmodelchecker.org Language: English - Date: 2012-05-10 09:21:45 Probability Dynamic programming Markov decision process Stochastic control PRISM model checker Reinforcement learning Probabilistic CTL Application software
12	Probabilistic Point-to-Point Information Leakage Tom Chothia∗ , Yusuke Kawamoto∗ , Chris Novakovic∗ and David Parker∗ ∗ School of Computer Science University of Birmingham, Birmingham, UK Abstract—The output Add to Reading List Source URL: www.cs.bham.ac.uk Language: English - Date: 2017-06-07 20:45:26 Mathematical analysis Mathematics Experiment Information theory Statistical theory Measure theory Random variable Statistical randomness Sigma-algebra Probability distribution Joint probability distribution Probability space
13	Stochastic Games for Verification of Probabilistic Timed Automata Marta Kwiatkowska, Gethin Norman, and David Parker Oxford University Computing Laboratory, Parks Road, Oxford, OX1 3QD Abstract. Probabilistic timed auto Add to Reading List Source URL: qav.comlab.ox.ac.uk Language: English - Date: 2010-04-16 06:37:28 Dynamic programming Markov decision process Stochastic control Symbol PP Probability and statistics Probability Theoretical computer science Models of computation
14	T DR AF Quantitative Verification Techniques for Biological Processes Marta Kwiatkowska, Gethin Norman, and David Parker Add to Reading List Source URL: qav.comlab.ox.ac.uk Language: English - Date: 2010-01-12 07:51:06 Protein kinases Cell biology Biology Signal transduction Cell signaling Biochemistry Mitogen-activated protein kinase kinase Mitogen-activated protein kinase MAPK phosphatase Mitogen MAP kinase kinase kinase
15	Compositional Verification of Probabilistic Systems using Learning Lu Feng, Marta Kwiatkowska, David Parker Oxford University Computing Laboratory, Parks Road, Oxford, OX1 3QD Email: {lu.feng, marta.kwiatkowska, david.pa Add to Reading List Source URL: qav.comlab.ox.ac.uk Language: English - Date: 2010-08-20 07:50:57
16	Analysis of a Gossip Protocol in PRISM Marta Kwiatkowska, Gethin Norman and David Parker Oxford University Computing Laboratory, Wolfson Building, Parks Road, Oxford, OX1 3QD ABSTRACT Gossip protocols have been proposed Add to Reading List Source URL: qav.comlab.ox.ac.uk Language: English - Date: 2008-10-20 08:29:16 Network architecture Distributed computing Gossip protocol PRISM model checker Computing Application software Distributed data storage Software Game theory
17	Status and Outlook for the European Exploration Envelope Programme Dr David Parker – Director of Human and Robotic Exploration SSB Space Science Week, 27 March 2018 ESA UNCLASSIFIED - For Official Use Add to Reading List Source URL: sites.nationalacademies.org Language: English - Date: 2018-03-28 19:49:27
18	Performance Modelling and Verification of Cloud-based Auto-Scaling Policies Alexandros Evangelidis, David Parker, Rami Bahsoon School of Computer Science University of Birmingham Birmingham, United Kingdom Add to Reading List Source URL: www.prismmodelchecker.org Language: English - Date: 2017-02-13 18:46:48
19	Los Angeles Transportation Club David R. Parker, Chairman & CEO Covenant Transportation Group DISCLOSURE STATEMENT Add to Reading List Source URL: www.latc.la Language: English - Date: 2018-02-03 19:27:13
20	Probabilistic Point-to-Point Information Leakage Tom Chothia∗ , Yusuke Kawamoto∗ , Chris Novakovic∗ and David Parker∗ ∗ School of Computer Science University of Birmingham, Birmingham, UK Abstract—The output Add to Reading List Source URL: www.cs.bham.ac.uk - Date: 2013-08-01 12:14:39

UPDATE